منابع مشابه
An Observational Model for Spatial Logics
Spatiality is an important aspect of distributed systems because their computationsdepend both on the dynamic behaviour and on the structure of their components.Spatial logics have been proposed as the formal device for expressing spatial prop-erties of systems.We define CCS||, a CCS-like calculus whose semantics allows one to observe spa-tial aspects of systems on the top o...
متن کاملModel Checking Spatial Logics for Closure Spaces
Spatial aspects of computation are becoming increasingly relevant in Computer Science, especially in the field of collective adaptive systems and when dealing with systems distributed in physical space. Traditional formal verification techniques are well suited to analyse the temporal evolution of programs; however, properties of space are typically not taken into account explicitly. We present...
متن کاملan application of equilibrium model for crude oil tanker ships insurance futures in iran
با توجه به تحریم های بین المملی علیه صنعت بیمه ایران امکان استفاده از بازارهای بین المملی بیمه ای برای نفتکش های ایرانی وجود ندارد. از طرفی از آنجایی که یکی از نوآوری های اخیر استفاده از بازارهای مالی به منظور ریسک های فاجعه آمیز می باشد. از اینرو در این پایان نامه سعی شده است با استفاده از این نوآوری ها با طراحی اوراق اختیارات راهی نو جهت بیمه گردن نفت کش های ایرانی ارائه نمود. از آنجایی که بر...
an appropriate model for exchange rate predictability in iran: comparing potential forecastability
nowadays in trade and economic issues, prediction is proposed as the most important branch of science. existence of effective variables, caused various sectors of the economic and business executives to prefer having mechanisms which can be used in their decisions. in recent years, several advances have led to various challenges in the science of forecasting. economical managers in various fi...
Logics for Spatial Reasoning
Over the last decade temporal logics been extensively and successfully used as formal tools both in AI and software engineering but logics describing space have not been developed and exploited to the same degree, although we believe they are at least as important. Reasoning about space requires the explicit representation of topological, metrical and geometrical information. In contrast to our...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2006
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.10.028